منابع مشابه
Intensional Manifest Fields in Module Types
A manifest field in a type of modules is a field whose expected data is not only of a certain type but the same as a specific object of that type. All of the previous approaches to manifest fields in type theory are based on some extensional notions of computational equality. In this paper, we show that this is unnecessary: manifest fields are expressible in intensional type theories without ex...
متن کاملFault Links: Exploring the Relationship Between Module and Fault Types
Fault links represent relationships between the types of mistakes made and the type of module being developed or modified. The existence of such fault links can be used to guide code reviews, walkthroughs, allocation of verification and validation resources, testing of new code development, as well as code maintenance. We present an approach for categorizing code faults and code modules, and a ...
متن کاملType Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types
Objects in object-oriented languages have often been treated as a special kind of entity different from other variables or constants. Similarly, their types, which are typically called classes, have often been treated differently from other types. This complicates the understanding of these concepts. The present paper proposes to see the classes as module types leading to a very natural integra...
متن کاملModule Amenability of module dual Banach algebras
In this paper we defined the concept of module amenability of Banach algebras and module connes amenability of module dual Banach algebras.Also we assert the concept of module Arens regularity that is different with [1] and investigate the relation between module amenability of Banach algebras and connes module amenability of module second dual Banach algebras.In the following we studythe...
متن کاملController Module Planning Module Learning Module Controller Module Planning Module Learning Module Controller Module Planning Module Learning Module Environment
Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rocky Mountain Journal of Mathematics
سال: 1997
ISSN: 0035-7596
DOI: 10.1216/rmjm/1181071924